GreenPAK Designer Development Environment Free Development Software Silego Technology’s GreenPAK Designer development software enables a completely graphical design process, requiring no programming language or compil

Source URL: www.silego.com

• Software
• Computing
• System software
• Computer hardware
• Emulator
• Multi Emulator Super System
• Design

HUMAN-ROBOT INTERACTION BASED ON SPOKEN NATURAL LANGUAGE DIALOGUE Dimitris Spiliotopoulos, Ion Androutsopoulos and Constantine D. Spyropoulos Software and Knowledge Engineering Laboratory Institute of Informatics and Tel

Source URL: www.aueb.gr

Verification of a Cryptographic Primitive: SHA-256 ANDREW W. APPEL, Princeton University A full formal machine-checked verification of a C program: the OpenSSL implementation of SHA-256. This is an interactive proof of f

Source URL: www.cs.princeton.edu

• Software engineering
• Programming language theory
• Theoretical computer science
• C++
• Logic in computer science
• Proof assistants
• Data types
• SHA-2
• Formal verification
• Separation logic
• Coq
• Functional programming

From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics M. Gogolla1 , L. Hamann1 , F. Hilken1∗, M. Kuhlmann1 , R. France2 1 {gogolla,lhamann,fhilken,mk}@informatik.uni-bremen

Source URL: www.db.informatik.uni-bremen.de

• Software engineering
• Theoretical computer science
• Unified Modeling Language
• Computing
• Formal methods
• Object Constraint Language
• ECO
• Postcondition
• Object diagram
• Object Process Methodology
• Class diagram
• Invariant

Nathaniel Soares 2609 Milvia St • Berkeley CA 94704 • ( • github.com/Soares • Machine Intelligence Research Institute Research Fellow AprilPresent • We do foundational mathemat

Source URL: so8r.es

• Computing
• Software
• Alphabet Inc.
• Joyent
• Node.js
• Verilog
• Google
• Department of Defense Information Assurance Certification and Accreditation Process
• Machine Intelligence Research Institute
• Domain-specific language
• Computer
• Linux

Microsoft Word - writproj_title.doc

Source URL: www.cs.sjsu.edu

• Proof assistants
• Software
• Programming language theory
• Functional languages
• Type theory
• Coq
• Agda
• Theorem
• Metamath
• Coenzyme Q10
• Mathematical proof
• Mathematical logic

User Manual Scrivener 2.7 for Mac OS X Literature & Latte September, 2015

Source URL: literatureandlatte.com

• Computing
• Open formats
• Language
• Software
• HTML
• Markup languages
• Screenwriting
• Scrivener
• Outliner
• Markdown
• MMD
• Screenplay

The Bedrock Structured Programming System Combining Generative Metaprogramming and Hoare Logic in an Extensible Program Verifier Adam Chlipala MIT CSAIL

Source URL: adam.chlipala.net

• Software engineering
• Theoretical computer science
• Computer programming
• Formal methods
• Logic in computer science
• Macro
• Hoare logic
• Assertion
• Separation logic
• C preprocessor
• Postcondition
• Assembly language

Inference and Checking of Object Ownership Wei Huang1 , Werner Dietl2 , Ana Milanova1 , and Michael D. Ernst2 1 Rensselaer Polytechnic Institute

Source URL: homes.cs.washington.edu

• Software engineering
• Type theory
• Programming language theory
• Computing
• Subtyping
• Type system
• System F
• HindleyMilner type system
• ML
• Type inference
• Typeof
• Is-a

MassArt Studio Foundation: Visual Language Digital Media Cookbook, FallPHOTOSHOP1 15 / WORKSPACE Imaging software, just like our computers, relies on metaphors from the physical world for their design. In the case

Source URL: sf.massart.edu